properties of binary relation discrete mathematics